1. Formal methods in databases and software engineering :
پدیدآورنده: V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.
رده :
QA76
.
9
.
D3
V735
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)